BakerSFIeld: Bringing software fault isolation to x64
نویسنده
چکیده
We present BakerSFIeld, a Software Fault Isolation (SFI) framework for the x64 instruction set architecture. BakerSFIeld is derived from PittSFIeld, and retains the assembly language rewriting style of sandboxing, but has been substantially re-architected for greater clarity, separating the concerns of rewriting the program for memory safety, and re-aligning the code for control-flow safety. BakerSFIeld also corrects several significant security flaws we found in PittSFIeld. We measure the performance of BakerSFIeld on a modern 64-bit desktop machine and determine that it has significantly lower overhead than its 32-bit cousin.
منابع مشابه
Fault Detection and Isolation of Vehicle Driveline System
Vehicle driveline system and its working accuracy play an important role in the performance of car. The purpose of this study is to provide an appropriate mechanism for investigating, identifying and determining the position and size of defects in the vehicle power transmission system. This is based on the patterns of the residual signal, obtained from a simulated model of the system. Neuro-...
متن کاملYaw Rate Control and Actuator Fault Detection and Isolation for a Four Wheel Independent Drive Electric Vehicle
In this paper, a new actuator fault detection and isolation method for a four wheel independent drive electric vehicle is proposed. Also, a controller based on sliding mode control method is proposed for lateral stability of the vehicle. The proposed control method is designed in three high, medium and low levels. At the high-level, the vehicle desired dynamics such as longitudinal speed refere...
متن کاملRobust Model- Based Fault Detection and Isolation for V47/660kW Wind Turbine
In this paper, in order to increase the efficiency, to reduce the cost and to prevent the failures of wind turbines, which lead to an extensive break down, a robust fault diagnosis system is proposed for V47/660kW wind turbine operated in Manjil wind farm, Gilan province, Iran. According to the acquired data from Iran wind turbine industry, common faults of the wind turbine such as sensor fault...
متن کاملEecient Software-based Fault Isolation
One way to provide fault isolation among cooperating software modules is to place each in its own address space. However, for tightly-coupled modules, this solution incurs prohibitive context switch overhead. In this paper, we present a software approach to implementing fault isolation within a single address space. Our approach has two parts. First, we load the code and data for a distrusted m...
متن کاملFault Detection and Isolation of Multi-Agent Systems via Complex Laplacian
This paper studies the problem of fault detection and isolation (FDI) for multi-agent systems (MAS) via complex Laplacian subject to actuator faults. A planar formation of point agents in the plane using simple and linear interaction rules related to complex Laplacian is achieved. The communication network is a directed, and yet connected graph with a fixed topology. The loss of symmetry in the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014